Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
381	Tool-Support for the Analysis of Hybrid Systems and Models Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2007-03-14 18:49:09 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
382	Kaleidoscope: A Constraint Imperative Programming Language Gus Lopez, Bjorn Freeman-Benson, and Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2012-08-02 07:37:08 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Constraint Constructor Prolog E Logic programming Constraint programming Declarative programming Software engineering
383	University of Potsdam Faculty of Computer Science Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2006-05-02 04:55:54 Automated theorem proving Constraint programming Boolean algebra Rules of inference Logic programming Boolean satisfiability problem Directed acyclic graph Resolution Clause Theoretical computer science Mathematics Mathematical logic
384	Appears in: Procs. of the 16th Intl. Conf. on Logic Programming, p. 230–244, The MIT Press, 1999 Add to Reading List Source URL: goualard.free.fr Language: English - Date: 2005-01-30 18:10:11 Computing Local consistency Constraint logic programming Constraint satisfaction problem Interval arithmetic Constraint algorithm Decomposition method Constraint satisfaction Constraint programming Software engineering Computer programming
385	Microsoft PowerPoint - CPAIOR 2009 workshop slides.ppt Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2009-06-04 23:24:50 Computing Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Search algorithm Constraint logic programming Decomposition method Constraint programming Software engineering Computer programming
386	Constraint Programming Prof. Dr. Thom Fr¨ uhwirth Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 2005-10-19 09:06:44 Computing Constraint logic programming Local consistency Logic programming Constraint Constraint satisfaction Constraint inference Constraint programming Software engineering Computer programming
387	Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 1071 – 1080 Add to Reading List Source URL: www.proceedings2007.imcsit.org Language: English - Date: 2008-12-10 18:15:24 Software engineering Automated theorem proving Rules of inference Constraint programming Reasoning Prolog Horn clause Resolution Reasoning system Logic Artificial intelligence Logic programming
388	PDF Document Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 20:13:26 Computing Constraint satisfaction problem Local consistency Constraint satisfaction Constraint logic programming Backtracking Interchangeable parts C Mathematical optimization Constraint programming Software engineering Computer programming
389	PDF Document Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2001-03-30 15:59:53 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem GRASP Unit propagation Resolution Theoretical computer science Mathematics Mathematical logic
390	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics

UPDATE